package controller;

/**rappresenta un'interfaccia che utilizza le estensioni dei file che il software utilizza
 * 
 * @author koldar
 * @version 1.1
 */
public interface ExtensionUser {

	/**rappresenta l'estensione che hanno i file mappa dell'editor*/
	public final String MAPEXTENSION="mdmap";
	/**rappresenta l'estensione di default dei file rappresentanti una classe java*/
	public final String CLASSEXTENSION="class";
	public final String JAREXTENSION="jar";
}
